1. Diagonalization and self-reference
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
2. First-order logic
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، First-order logic
رده :
QA
9
.
S574
3. Godel's incompleteness theorems
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
4. Les theoremes d'incompletude de Godel
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
S68G613
5. Set theory and the continuum problem
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Set theory,، Continuum hypothesis
رده :
QA
248
.
S6
6. To mock a mockingbird : and other logic puzzles including an amazing adventure in combinatory logic
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Philosophical recreations,، Puzzles,، Logic
رده :
GV
1507
.
P43S68
1985
7. What is the name of this book? : the riddle of Dracula and other logical puzzles
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Logic puzzles
رده :
GV
1493
.
S68W45
